Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
191	Ehsan Emamjomeh-Zadeh Department of Computer Science University of Southern California Los Angeles, CA 90089, United States Research Add to Reading List Source URL: www-scf.usc.edu Language: English - Date: 2016-07-21 01:28:05 Theoretical computer science Algorithm Mathematical logic Symposium on Theory of Computing Academia Mathematics Computer science
192	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
193	256 The Lumiere Project: Bayesian User Modeling for Inferring the Goals and Needs of Software Users Eric Horvitz, Jack Breese, David Heckerman, David Hovel, Koos Rommelset Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-01-31 20:00:15 Statistics Philosophy of science Logic Philosophy Statistical theory Statistical models Statistical inference Bayesian network Bayesian inference Bayesian probability User modeling Probabilistic logic
194	IFSA Newsletter Vol. 9, No. 4, December 2012 page In this issue: Message from General Chairs of NAFIPS/IFSA Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:48 Systems science Fuzzy logic Academia Systems scientists Systems theory Fuzzy set Lotfi A. Zadeh
195	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
196	Automated Benchmarking of Description Logic Reasoners T. Gardiner I. Horrocks Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:07 Ontology Semantic Web Knowledge engineering Information science Knowledge Computing Knowledge representation Semantic reasoner Web Ontology Language Description logic Open Biomedical Ontologies Owl
197	EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT Minutes of the EUSFLAT General Assembly 2016 Eindhoven, June 21, 2016 The assembly starts at 17:50, ten minutes later than as scheduled. Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2016-07-14 04:29:16 Logic Fuzzy logic Artificial intelligence Logic in computer science European Society for Fuzzy Logic and Technology Philosophy of logic
198	LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 Add to Reading List Source URL: precedings.nature.com Language: English Information science Knowledge representation Ontology Logic Formal languages Philosophy Abstraction Upper ontology Basic Formal Ontology Well-formed formula Formal ontology Symbol
199	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
200	A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract Add to Reading List Source URL: shukla.io Language: English - Date: 2015-09-05 12:28:33 Logic Philosophy Reasoning Epistemology Robotics Causality Conditionals Philosophy of science Knowledge Inference Humanrobot interaction Machine learning

UPDATE